D-Fusion: A Distinctive Fusion Calculus
نویسندگان
چکیده
We study the relative expressive power of Fusion and pi-calculus. Fusion is commonly regarded as a generalisation of pi-calculus. Actually, we prove that there is no uniform fully abstract embedding of pi-calculus into Fusion. This fact motivates the introduction of a new calculus, D-Fusion, with two binders, λ and ν. We show that DFusion is strictly more expressive than both pi-calculus and Fusion. The expressiveness gap is further clarified by the existence of a fully abstract encoding of mixed guarded choice into the choice-free fragment of D-Fusion.
منابع مشابه
Plant Classification in Images of Natural Scenes Using Segmentations Fusion
This paper presents a novel approach to automatic classifying and identifying of tree leaves using image segmentation fusion. With the development of mobile devices and remote access, automatic plant identification in images taken in natural scenes has received much attention. Image segmentation plays a key role in most plant identification methods, especially in complex background images. Wher...
متن کاملIn silico fusion of epsilon and beta toxin genes of Clostridium perfringens types D and B
Fusion protein technology represents the strategy to achieve rapid, efficient, and cost-effective proteinexpression. Epsilon and Beta toxins are the most potent Clostridial toxins and cause disease in animals.This study describes in silico fusion of Clostridium perfringens types D and B epsilon and beta toxin genesthat was used for cloning in E.coli. The etx and cpb genes were...
متن کاملComparing the Effect of Alendronate and Vitamin D Administration on Lumbosacral Fusion and Severity of Low Back Pain in Patients After Posterior Lumbar Fusion Surgery: A Randomized Clinical Trial
Background and purpose: Bone fusion is a dynamic process and availability of calcium and balance of vitamin D can be effective in post spinal cord fusion. There are contradictory results on this issue, so, we decided to compare the effect of administration of vitamin D and alendronate on lumbosacral vertebral fusion in patients undergoing posterior spinal fusion surgery. Materials and methods:...
متن کاملFusion of Clostridium perfringens type D and B epsilon and beta toxin genes and it’s cloning in E. coli
Designing and producing a proper fusion construction is the most important problem of producing large quantities of a properly folded functional protein. This construction should have all necessary components of a real gene. A good designed fusion gene construction could be cloned into a good and suitable host. Clostridium perfringens is an important pathogen of humans and livestock and produce...
متن کاملDetection of abl/bcr Fusion Gene in Patients Affected by Chronic Myeloid Leukaemia by Dual-Colour Interphase Fluorescence in situ Hybridisation
Conventional cytogenetic is the standard technique for detection of Philadelphia (Ph) chromosome in chronic myeloid leukemia (CML). Evaluation of abelson murine leukemia/breakpoint cluster region (abl/bcr) fusion using dual-colour fluorescence in situ hybridization (D-FISH) is an alternative approach allowing rapid and reliable detection of the disease. We employed the technique of interphase D...
متن کامل